$\vdash$  $\forall$$A$, $B$, $C$:$\mathbb{P}$. ($A$ \& $B$ \& $C$) $\Leftarrow\!\Rightarrow$ ($A$ \& $B$ \& $C$)